| Digital Filters - Martin H. Ackroyd Martin H. Ackroyd Digital Filters Butterworth & Co. (Publishers) Ltd. 1973 Acrobat 7 Pdf 12.4 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Electronics; Computers; Recursive Filter; Non-Recursive Filter Downloads: 320 | |

| Orderings for term-rewriting systems (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.987) - Dershowitz, Nachum "UIUCDCS-R-79-987" Keywords: Computer programs; Recursive functions Downloads: 24 | |

| Well-founded orderings for proving termination of systems of rewrite rules (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932) - Plaisted, David A Bibliography: p. 34 Keywords: Computer programs; Recursive programming Downloads: 28 | |

| Die Iterationen; ein Beitrag zur Wahrscheinlichkeitstheorie - Bortkiewicz, Ladislaus von, 1868-1931 14 Keywords: Probabilities; Recursive functions Downloads: 309 | |

| mit :: ai :: aim :: AIM-055 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-055 Keywords: recursive; primitive; scanning; functions; defined; document; equation; definitions; schema; domains; primitive recursive; recursive definition; recursive definitions; recursive functions; scanning agent Downloads: 22 | |

| Computable functions - Williams, Louis Francis, 1932- Manuscript copy Keywords: Recursive functions; Electronic digital computers Downloads: 119 | |

| mit :: lcs :: tr :: MIT-LCS-TR-099 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-099 Keywords: recursive; theorem; complexity; function; comp; proof; sets; lemma; set; primitive; tentative commitment; turing machine; primitive recursive; recursive function; recursive set; recursive sets; partial recursive; relative complexity; lower bound; total running Downloads: 17 | |

| mit :: lcs :: tr :: MIT-LCS-TR-131 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-131 Keywords: recursive; function; theorem; formula; definition; predicate; deduction; theory; functions; formulas; primitive recursive; second order; order logic; recursive functions; recursive definition; recursive function; primitive recursion; partial recursive; problem set; set theory Downloads: 20 | |

| Recurse : a Plato lesson on recursion (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 642) - Whitlock, Lawrence Robert Bibliography: p. 62 Keywords: PLATO (Electronic computer system); Recursive programming Downloads: 42 | |

| Recursive Civilization - john ellis Recursive civilization is one where the past, present and future interact. It is a possible scenario in the run up to a technological singularity, mentioned in Quantum Archaeology Keywords: Recursive; civilization; time; singularity; archaeology; archeology Downloads: 112 | |

| mit :: ai :: aim :: AIM-011 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-011 Keywords: vector; functions; scanning; function; components; program; subblock; recursive; agent; computation; scanning agent; recursive functions Downloads: 26 | |

| mit :: ai :: aim :: AIM-012 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-012 Keywords: program; recursive; lisp; function; functions; programs; computation; vector; auxiliary; scanning; flow chart; recursive function; recursive functions; program feature; machine language; lisp program; scanning agent Downloads: 38 | |

| mit :: ai :: aim :: AIM-309 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-309 Keywords: computation; ids; rewritten; occurences; ingredients; recursive; strokes; paths; axiom; proofs; intelligence laboratory; evaluation paths; computation paths; recursive arithmetic; computation path; primitive recursive; substitution rule; artificial intelligence Downloads: 22 | |

| mit :: ai :: aim :: AIM-201 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-201 Keywords: schema; recursive; schemas; function; equivalence; theorem; predicate; program; interpretation; proof; basic function; partial function; recursive schema; predicate symbols; program schema; free interpretation; recursive schemas; program schemas; function symbols Downloads: 20 | |

| dg :: software :: diag :: 068-001072-01 array-processor-exerciser-h From the bitsavers.org collection, a scanned-in computer-related document.dg :: software :: diag :: 068-001072-01 array-processor-exerciser-h Keywords: cfl; uju; jujm; ooco; recursive; aoo; rsi; tfl Downloads: 24 | |

| mit :: lcs :: tr :: MIT-LCS-TR-235 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-235 Keywords: recursive; probability; sequence; sequences; independence; theorem; random; theory; properties; turing; constant factor; total recursive; probability theory; recursive measure; turing degrees; independence principle; random process; second order; probability distribution; recursive function Downloads: 32 | |

| dg :: software :: diag :: 068-001073-01 array-processor-exerciser-i From the bitsavers.org collection, a scanned-in computer-related document.dg :: software :: diag :: 068-001073-01 array-processor-exerciser-i Keywords: lij; isj; ffi; laj; recursive; csc; lsj; tfj; taj; juj Downloads: 18 | |

| mit :: lcs :: tr :: MIT-LCS-TR-110 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110 Keywords: recursive; functions; theorem; hierarchy; subrecursive; hierarchies; function; primitive; elementary; honesty; fur mathematische; subrecursive classes; primitive recursive; logik und; recursive functions; complexity classes; ordinal recursion; recursive function; honesty procedure; turing machine Downloads: 20 | |

| Midnight Moodswings & Seiswork - The Dopamine Recursive GHGR5113 - Midnight Moodswings & Seiswork Midnight Moodswings & SeisworkReleased By GodHatesGodRecordsStream Audio Release Keywords: Midnight Moodswings & Seiswork; The Dopamine Recursive; Ambient; Eclectronic; GHGR5113 Downloads: 9 |

| stanford :: sail :: sailMemoAbstr 159-196 May73 From the bitsavers.org collection, a scanned-in computer-related document.stanford :: sail :: sailMemoAbstr 159-196 May73 Keywords: recursive; program; semantic; schemas; conceptual; fixpoints; logic; computer; transform; programs; total complexity; programming languages; artificial intelligence; interlingual representation; hadamard transform; binary relational; linear recursive; natural language; recursive definitions; partial predicate Downloads: 12 | |

| mit :: lcs :: tr :: MIT-LCS-TR-181 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-181 Keywords: petri; tokens; places; polynomial; recursive; firing; bounded; reachability; net; finite; reachability set; designated places; petri nets; primitive recursive; petri net; reachability sets; recursive function; tenth problem; firing sequence; control places Downloads: 30 | |

| mit :: lcs :: tm :: MIT-LCS-TM-532 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-532 Keywords: type; principal; typing; recursive; variables; algorithm; inference; typings; system; rank; typing recursive; type variable; type inference; type variables; principal typing; recursive definitions; type environment; type system; principal typings; subtype satisfaction Downloads: 24 | |

| BSTJ 52: 1. January 1973: Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.) Bell System Technical Journal, 52: 1. January 1973 pp 9-33. Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.) Keywords: buffer; recursive; matrix; burst; probability; recursion; formulas; formula; probabilities; markov; unit circle; transition matrix; recursive formula; finite buffer; system technical; weighted sum; recursive formulas; burst length; bell system; remaining columns Downloads: 26 | |

| BSTJ 61: 1. January 1982: Fast Recursive Estimation Using the Lattice Structure. (Shichor, E.) Bell System Technical Journal, 61: 1. January 1982 pp 97-115. Fast Recursive Estimation Using the Lattice Structure. (Shichor, E.) Keywords: lattice; algorithm; optimal; adaptive; recursive; kalman; estimation; estimator; update; fast; optimal estimator; input data; recursive estimation; fast recursive; fast kalman; bell system; update relations; system technical; time update; lattice algorithm Downloads: 28 | |

| mit :: lcs :: tr :: MIT-LCS-TR-458 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-458 Keywords: type; looping; lemma; proof; types; combinator; function; dependent; reduction; recursive; normal form; looping combinators; looping combinator; dependent pair; ordered set; reduction system; recursive function; function types; dependent function; recursive functions Downloads: 20 | |

| mit :: ai :: aim :: AIM-207 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-207 Keywords: schema; recursive; schemas; equivalent; realized; program; realizes; function; theta; phi; uninterpreted function; parallel schemas; recursive schema; control structure; protocol tree; schema automaton; finite number; program schema; realizes phi; recursive function Downloads: 44 | |

| mit :: ai :: aim :: AIM-031 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-031 Keywords: functions; defined; function; computable; conditional; canonical; computation; recursive; variables; expressions; turing machines; computable functions; recursive function; conditional form; conditional expressions; canonical form; order predicate; recursive functions; symbolic expressions; recursion induction Downloads: 26 | |

| mit :: ai :: aim :: AITR-754 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-754 Keywords: logarithmic; recursion; linear; joint; torques; manipulator; vector; recursive; backward; node; motor torques; artificial intelligence; linear recursive; forward recursion; backward recursion; combining form; relational parameters; inverse dynamics; logarithmic recursive; time required Downloads: 47 | |

| mit :: ai :: aim :: AIM-464 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-464 Keywords: schema; recursive; schemas; computation; function; interpretation; predicate; program; proof; equivalence; mac conference; concurrent systems; program schema; project mac; recursive schemas; parallel computation; predicate symbols; program schemas; recursive schema; acm conference Downloads: 28 | |

| mit :: ai :: aim :: AIM-008 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-008 Keywords: functions; defined; expression; function; expressions; combine; recursive; turing; lisp; conditional; atomic symbols; advice taker; turing machine; elementary functions; conditional expression; symbolic expressions; lisp system; linear lisp; recursive functions; recursive function Downloads: 25 | |

| dec :: tech reports :: SRC-RR-95 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-95 Keywords: type; object; semantics; proof; proposition; recursive; rules; induction; expressions; types; object type; type expressions; type rules; object result; denotational semantics; object types; induction hypothesis; distinct labels; recursive types; recursive record | |

| dec :: tech reports :: SRC-RR-62 From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-62 Keywords: recursive; type; types; subtyping; algorithm; tree; execution; induction; variables; proof; recursive types; execution tree; induction hypothesis; successful execution; recursive type; initial goal; type equivalence; tree ordering; subtyping rules; canonical form | |

| Ventrella Fractal Curve Number 86 - Jeffrey Ventrella This fractal curve is featured in the book "Brainfilling Curves" (fractalcurves.com). It has the overall shape of the Ter-Dragon. The curve was discovered by Jeffrey Ventrella using a genetic algorithm that searches for plane-filling curves. It is an example of a self-crossing curve, whereby the crossover-points increase exponentially with each advancement of the teragon (increase of fractal levels)... Keywords: plane-filling fractal curve; mathematical art; recursive image; self-similar; ter-dragon Downloads: 69 |

| Cost averaging techniques for robust control of flexible structural systems - Hagood, Nesbitt W. Viewgraphs on cost averaging techniques for robust control of flexible structural systems are presented. Topics covered include: modeling of parameterized systems; average cost analysis; reduction of parameterized systems; and static and dynamic controller synthesis. Keywords: ECONOMIC ANALYSIS; ROBOTS; ECONOMICS; ECONOMY; POLICIES; THEOREM PROVING; TURING MACHINES; FORECASTING; HYPOTHESES; RECURSIVE FUNCTIONS Downloads: 67 | |

| Support of the Third Solar Wind conference - Russell, C. T. The program of invited talks at the Third Solar Wind Conference is provided, with a table of contents of the proceedings. Keywords: BINARY MIXTURES; PROBABILITY DENSITY FUNCTIONS; RECURSIVE FUNCTIONS; ALGORITHMS; DISTRIBUTION (PROPERTY); STOCHASTIC PROCESSES Downloads: 62 | |

| Degrees of unsolvability in the theory of programming languages (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 482) - Cudia, Dennis F Bibliography: p. 120-123 Keywords: Recursive functions; Programming languages (Electronic computers); Formal languages; Unsolvability (Mathematical logic) Downloads: 71 | |

| Indirect Model Reference Adaptive Control System Based on Dynamic Certainty Equivalence Principle and Recursive Identifier Scheme The direct scheme of Model Reference Adaptive ControlSystem (MRACS) may have several disadvantages; (i) thecurrent state of the plant cannot be easily grasped fromvalues of adjustable adaptive controller parameters, (ii) ithas often inferior conditions to an indirect scheme, withrespect to the persistent excitation (PE) conditions ofadjustable controller parameters for convergence to optimalvalues... Keywords: Model Reference Adaptive Control System; Indirect Scheme; Dynamic Certainty Equivalence Principle; Recursive Identifier Downloads: 9 | |

| mit :: ai :: aim :: AIM-032 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-032 Keywords: scanning; evaluated; recursion; lisp; agent; evaluating; document; recursive; partions; jknownj; scanning agent Downloads: 26 | |

| Way Point Tracking of a Container Ship by Adaptive Stochastic Sliding Mode Control and Recursive Filters In this paper, way-point tracking control of a container ship based on LOS method using adaptive stochastic sliding mode controlhas beeninvestigated.Effective control of ships in a designed trajectory is always an important task for ship maneuvering. The design is based on a low and high frequency model of the vessel motion adequate to ship steering. The low frequency model describes the vessel response to rudder control and slowly varying environmental forces... Keywords: Adaptive Stochastic Sliding Mode; Recursive Filters; Way-Point Tracking; LOS Guidance Downloads: 15 | |

| mit :: lcs :: tm :: MIT-LCS-TM-531 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-531 Keywords: type; rule; lemma; types; definition; app; rank; ppp; typable; induction; recursive definitions; derived types; type inference; intersection type; type variables; type system; fresh type; type environments; type variable; typing recursive Downloads: 23 | |

| BBC Research and Development Report Number 1975-03 R&D Report 1975-03 : Video digital filter Study I -- first order recursive form. J.O. Drewery This Report describes the theory and practice of using a particular kind of digital filter to process video signals. This filter behaves like a R-C integrator but its effect on the picture can be associated with various types of resolution, namely horizontal resolution, vertical resolution or even temporal... Keywords: filter; vertical; output; input; response; frequency; filters; recursive; digital; characteristic; pole plot; extra bits; transfer function; response characteristic; recursive filter; digital filter; horizontal filter; vertical filter; pulse response; difference equation Downloads: 23 | |

| BSTJ 62: 10. December 1983: Recursive Fixed-Order Covariance Least-Squares Algorithms. (Honig, M.L.) Bell System Technical Journal, 62: 10. December 1983 pp 2961-2992. Recursive Fixed-Order Covariance Least-Squares Algorithms. (Honig, M.L.) Keywords: algorithms; covariance; recursions; recursive; updates; prediction; vectors; algorithm; lattice; projection; inner products; data samples; time updates; recursive covariance; covariance algorithms; backward time; prediction coefficients; bell system; system technical; computationally efficient Downloads: 44 | |

| Apple Tech Notes: PDOS 2523017 Recursive Catalog Apple Tech Notes: PDOS 2523017 Recursive Catalog Keywords: equ; prodos; ida; catalog; routine; jsr; sta; directory; recursive; rts; catalog routine; prodos catalog; catalog prodos; recursive prodos; jsr cout; technical notes; technical support; support november; routine developer; developer technical Downloads: 19 | |

| BSTJ 49: 9. November 1970: Projecting Filters for Recursive Prediction of Discrete-Time Processes. (Gersho, Allen; Goodman, David J.) Bell System Technical Journal, 49: 9. November 1970 pp 2377-2403. Projecting Filters for Recursive Prediction of Discrete-Time Processes. (Gersho, Allen; Goodman, David J.) Keywords: filter; projecting; coefficients; predictor; filters; recursive; optimal; equation; prediction; process; filter coefficients; spectral density; projecting filters; recursive filter; projecting filter; linear combination; error process; bell system; system technical; prediction error Downloads: 23 | |

| BSTJ 58: 2. February 1979: A New and Interesting Class of Limit Cycles in Recursive Digital Filters. (Lawrence, V.B.; Mina, K.V.) Bell System Technical Journal, 58: 2. February 1979 pp 379-408. A New and Interesting Class of Limit Cycles in Recursive Digital Filters. (Lawrence, V.B.; Mina, K.V.) Keywords: limit; cycles; peak; amplitude; filters; recursive; digital; cycle; existence; values; bell system; step size; limit cycles; peak amplitude; limit cycle; system technical; peak amp; recursive digital; digital filters; roundoff noise Downloads: 48 | |

| mit :: lcs :: tm :: MIT-LCS-TM-016 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-016 Keywords: random; sequences; sequence; definition; theorem; recursive; sequential; infinite; set; function; sequential test; random sequences; place selection; recursively enumerable; characteristic function; recursive function; finite number; null set; infinite sequences; sequential tests Downloads: 46 (1 review) | |

| mit :: lcs :: tm :: MIT-LCS-TM-032 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-032 Keywords: recursive; functions; theorem; embedding; operator; partial; serviced; countable; complexity; classes; recursive functions; total effective; partial order; embedding theorem; countable partial; complexity classes; security classification; operator embedding; effective operator; dense chains Downloads: 45 (1 review) | |

| mit :: lcs :: tr :: MIT-LCS-TR-526 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-526 Keywords: object; concurrent; recursion; message; deadlock; port; recursive; thread; calls; method; recursive call; method activation; object depth; current port; recursion deadlock; mutual exclusion; binding map; split depth; port binding; concurrent calls Downloads: 21 | |

| mit :: ai :: aim :: AIM-533 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-533 Keywords: dynamics; recursive; lagrangian; link; multiplications; manipulator; coordinate; formulation; computational; formulations; configuration space; artificial intelligence; recursive lagrangian; manipulator dynamics; lagrangian dynamics; generalized forces; real time; coordinate system; lagrangian formulation; space method Downloads: 43 | |

| mit :: lcs :: tr :: MIT-LCS-TR-077 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-077 Keywords: proof; canonic; canon; system; recursive; canons; provable; theorem; axiom; systems; post system; inverse systems; canonic system; recursive sets; canonic systems; proof measure; algebraic system; measure functions; indicated context; recursively enumerable Downloads: 34 | |